Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
โ›ชChurch Encoding
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸŒณIncremental Parsing
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
If Anyone Builds It, Everyone Dies: my review
haggstrom.blogspot.comยท6hยท
Discuss: haggstrom.blogspot.com
๐Ÿ”ฒCellular Automata
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Mondrian introduction to functional optics
marcosh.github.ioยท3dยท
Discuss: Lobsters, Hacker News
โŸทBidirectional Programming
Does Go have types?
youtube.comยท6hยท
Discuss: r/golang
๐Ÿ”’Linear Types
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.orgยท15h
๐Ÿง Machine Learning
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code